Verified Regularized Interval Orbit Propagation
نویسندگان
چکیده
منابع مشابه
Symmetric Graph Regularized Constraint Propagation
This paper presents a novel symmetric graph regularization framework for pairwise constraint propagation. We first decompose the challenging problem of pairwise constraint propagation into a series of two-class label propagation subproblems and then deal with these subproblems by quadratic optimization with symmetric graph regularization. More importantly, we clearly show that pairwise constrai...
متن کاملPhaseless Diffraction Tomography with Regularized Beam Propagation
In recent years, researchers have obtained impressive reconstructions of the refractive index (RI) of biological objects through the combined use of advanced physics (nonlinear forward model) and regularization. Here, we propose an adaptation of these techniques for the more challenging problem of intensity-only measurements. It involves a difficult nonconvex optimization problem where phase an...
متن کاملImplicit Runge-Kutta Methods for Orbit Propagation
Accurate and efficient orbital propagators are critical for space situational awareness because they drive uncertainty propagation which is necessary for tracking, conjunction analysis, and maneuver detection. We have developed an adaptive, implicit Runge-Kuttabased method for orbit propagation that is superior to existing explicit methods, even before the algorithm is potentially parallelized....
متن کاملVerified Solution and Propagation of Uncertainty in Physiological Models
We demonstrate here a method for the verified solution of nonlinear ODE models in physiology, computing rigorous bounds on the trajectories of the state variables, based on the ranges of the uncertain parameters. We also demonstrate an approach for the propagation of uncertain probability distributions in one or more model parameters and/or initial conditions. Assuming an uncertain probability ...
متن کاملAnalytical and Verified Numerical Results Concerning Interval Continuous-time Algebraic Riccati Equations
This paper focuses on studying the interval continuous-time algebraic Riccati equation A∗X + XA + Q − XGX = 0, both from the theoretical aspects and the computational ones. In theoretical parts, we show that Shary’s results for interval linear systems can only be partially generalized to this interval Riccati matrix equation. We then derive an efficient technique for enclosing the united stable...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Guidance, Control, and Dynamics
سال: 2021
ISSN: 1533-3884
DOI: 10.2514/1.g004947